how much did mike tyson make